(declare-fun _substvar_604_ () Bool)
(declare-fun _substvar_1051_ () Bool)
(declare-fun _substvar_1060_ () Bool)
(declare-fun _substvar_1063_ () Bool)
(declare-fun _substvar_1076_ () (_ BitVec 7))
(declare-fun _substvar_1090_ () Bool)
(declare-fun _substvar_1120_ () Bool)
(declare-fun _substvar_1182_ () Bool)
(declare-fun _substvar_1186_ () Bool)
(declare-const v1 Bool)
(declare-const _7-0 (_ BitVec 7))
(assert _substvar_1060_)
(assert (or _substvar_1186_ v1))
(assert _substvar_1063_)
(assert (bvugt (bvadd _7-0 _7-0) _substvar_1076_))
(assert _substvar_604_)
(assert _substvar_1182_)
(assert _substvar_1051_)
(assert _substvar_1090_)
(assert _substvar_1120_)
(check-sat)
